Extended Interval Arithmetic in IEEE Floating-Point Environment
نویسنده
چکیده
This paper describes an implementation of a general interval arithmetic extension, which comprises the following extensions of the conventional interval arithmetic: (1) extension of the set of normal intervals by improper intervals; (2) extension of the set of arithmetic operations for normal intervals by nonstandard operations; (3) extension by infinite intervals. We give a possible realization scheme of such an universal interval arithmetic in any programming environment supporting IEEE floating-point arithmetic. A PASCAL-XSC module is reported which allows easy programming of numerical algorithms formulated in terms of conventional interval arithmetic or of any of the enlisted extended interval spaces, and provides a common base for comparison of such numerical algorithms.
منابع مشابه
The Unum Number Format: Mathematical Foundations, Implementation and Comparison to IEEE 754 Floating-Point Numbers
This thesis examines a modern concept for machine numbers based on interval arithmetic called 'Unums' and compares it to IEEE 754 floating-point arithmetic, evaluating possible uses of this format where floating-point numbers are inadequate. In the course of this examination, this thesis builds theoretical foundations for IEEE 754 floating-point numbers, interval arithmetic based on the project...
متن کاملComputer Arithmetic – A Programmer’s Perspective (invited talk)
Advances in computer hardware often have little impact until they become accessible to programmers using high-level languages. For example, the IEEE floating-point arithmetic standard provides various rounding modes and exceptions, but it is difficult or impossible to take advantage of these from most high-level languages, so the full capabilities of IEEE-compatible hardware are seldom used. Wh...
متن کاملInterval Term Rewriting System: Toward A Formal Model for Interval Computation
We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval computation. We start presenting a term rewriting system whose rules (directed equations) perform binary floating-point arithmetic, which is based on IEEE-754 Standard. Next, this primitive system is extended with rules for interval arithmetic. Finally,...
متن کاملStochastic Arithmetic in Multiprecision
Floating-point arithmetic precision is limited in length the IEEE single (respectively double) precision format is 32-bit (respectively 64-bit) long. Extended precision formats can be up to 128-bit long. However some problems require a longer floating-point format, because of round-off errors. Such problems are usually solved in arbitrary precision, but round-off errors still occur and must be ...
متن کاملA Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double format) and fast floating point operations as well as exact dot product computations. Due to floating point limitations it is not an arbitrary precision arithmetic. However, it typically allows computations using several hundre...
متن کامل